RingMap ^ ZZ -- power

• Operator: ^

• Usage:

  x^n

• Inputs:
  • x, a ring map, a ring map
  • n, an integer
• Outputs:
  • a ring map, the n-th power of x